منابع مشابه
Determinism Should Ensure Deadlock-Freedom
This program creates two tasks, f and g, and runs them in parallel. The par statement blocks until both f and g terminate. c is a channel and both a and b are incarnations of c. g takes c by out (reference); any modification of b is therefore reflected in main’s c. f takes c by in (value), and hence f maintains a local copy of c. Suppose f wants to receive the updated value, then it explicitly ...
متن کاملFreedom, Weakness, and Determinism: From Linear-Time to Branching-Time
Model checking is a method for the veri cation of systems with respect to their speci cations. Symbolic model-checking, which enables the veri cation of large systems, proceeds by calculating xed-point expressions over the system's set of states. The -calculus is a branching-time temporal logic with xed-point operators. As such, it is a convenient logic for symbolic modelchecking tools. In part...
متن کاملConcepts of Self-realization, Freedom, Free Will and Determinism in American Philosophy
American philosophy takes its subject from many differentareas one of which is the religious aspect that scrutinizes the position of the individual on earth as well as his relationship with God. The idea thathuman nature needs God to reach salvation is closely related to the moralfreedom of the individual and therefore to his contribution to thecommunity he belongs to. To better...
متن کاملSocial and Ethical Responsibility against Social Determinism
Background: Because of the highlighted role of ethical responsibility in social and individual life, it is looked as an important issue in ethics area. Social responsibility that is defined as a sub-factor of ethical responsibility will have such an important place. What is discussed in responsibility discussions commonly is the “human will”. Responsibility is more based on the free will. In th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy
سال: 1930
ISSN: 0031-8191,1469-817X
DOI: 10.1017/s0031819100011062